формула Хорна


формула Хорна
horn clause

Русско-английский словарь по нефти и газу. - ВНИИГАЗ, РАО «ГАЗПРОМ». 1998.

Look at other dictionaries:

  • Дизъюнкт Хорна — В математической логике, дизъюнкт Хорна  дизъюнкция литералов с не более чем одним положительным литералом. Дизъюнкты Хорна названы по имени логика Альфреда Хорна, который впервые указал важность таких дизъюнктов в статье 1951 года «On… …   Википедия

  • Квантовая запутанность —     Квантовая механика …   Википедия

  • Универсальная алгебра — Не следует путать с универсальной алгеброй  одним из видов структур, изучаемых данным разделом математики. Универсальная алгебра  раздел математики, изучающий общие свойства алгебраических систем, отыскивая общие черты между такими… …   Википедия

  • Алагейзия — Эта статья об объекте вымышленного мира описывает его только на основе самого художественного произведения. Статья, состоящая только из информации на базе самого произведения, может быть удалена. Вы можете помочь проекту …   Википедия

  • Древний язык (трилогия «Наследие») — Древний язык  стареший из языков Алагейзии в трилогии Кристофера Паолини «Наследие». Древний язык, рождённый среди Серого Народа, используется для колдовства эльфами, Драконьими Всадниками, шейдами и многими другими. Имена на этом… …   Википедия

  • Simple Minds — Simple Minds …   Википедия

  • Древний язык (трилогия «Наследие») — Древний язык  стареший из языков Алагейзии в тетралогии Кристофера Паолини «Наследие». Древний язык, рождённый среди Серого Народа, используется для колдовства эльфами, Драконьими Всадниками, шейдами и многими другими. Имена на этом… …   Википедия

  • Древний язык (Наследие) — Древний язык  стареший из языков Алагейзии в тетралогии Кристофера Паолини «Наследие». Древний язык, рождённый среди Серого Народа, используется для колдовства эльфами, Драконьими Всадниками, шейдами и многими другими. Имена на этом языке … …   Википедия

  • Список статей по логике —   Это служебный список статей, созданный для координации работ по развитию темы.   Данное предупреждение не ус …   Википедия